%{
	#include<stdio.h>
	#include<stdlib.h>
	void instead();
	void floats();
	double mark[1000]={0};
	int n=0;
	int s=0;
%}

/*正规定义*/
digit		[0-9]
string		^({digit}+{9})
name		"NAME"$
number		({digit}+\.{digit}+)|({digit}+)

%%

{string}			{	instead();		}
{name}				{	printf("WLR");		}		
{number}			{	floats();		}
[\x21-\x2f\x3a-\x7f]+		{	printf("%s",yytext);	}

%%

void instead(){

	if(yyleng==9)
	{
		printf("201492126");
	}
	else
	{
		n++;
		double a=atof(yytext);
		long long int b=a*2+201492126;
		int i=0;
		printf("%lld",b);
		while(a!=mark[i]&&i<s)
		{
			i++;
		}
		if(s==0)
		{	mark[s]=a;
			s++;
		}
		if(a!=mark[i])
		{	
			mark[s]=a;
			s++;
		}
	}
}

void floats()
{
	n++;
	double a=atof(yytext);
	double b=a*2+201492126.0+0.5;
	int i=0;
	printf("%d",(int)(b));
	while(a!=mark[i]&&i<s)
	{
		i++;
	}
	if(s==0)
	{
		mark[s]=a;
		s++;
	}
	if(a!=mark[i])
	{	mark[s]=a;
		s++;
	}
}

void main()
{	
	yylex();
	printf("\n出现次数：%d\t",n);
	printf("去重后系数：%d\n",s);
}
